class Any extends { x | };
class Function0 { val result: Any = null }
class Boolean {
  val if: class Function0 {
    val thenPart: Function0
    val elsePart: Function0
  }
}
class True extends Boolean {
  class if extends Function0 { 
    val result: Any = this.thenPart
  }
}


    class thenPart { 
  class isEmpty extends
class Function1 extends Any { 
  val apply: class Any { 
    val in: Any = null
    val out: Any = null
  }
};
val fun1 = new Function1 { 
  class apply extends Any {
    val in: Any = null
    val out: Any = null 
  }
};
fun1


